#ifndef _HALCPUCTRLS_H_
#define _HALCPUCTRLS_H_

#include <hyper_t.h>
#include <acsreg.h>
#include <printk.h>

void hal_io8_write (uint_t ioaddr, u8_t val);
u8_t hal_io8_read (uint_t ioaddr);
void hal_io16_write (uint_t ioaddr, u16_t val);
u16_t hal_io16_read (uint_t ioaddr);
void hal_io32_write (uint_t ioaddr, u32_t val);
u32_t hal_io32_read (uint_t ioaddr);

void hal_system_is_die (char_t * errmsg);

#endif
